2141. Proceedings of the international congress on computational methods in engineering 1993
المؤلف:
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering mathematics- Congresses,Science- Mathematics- Congresses,Mathematical models- Congresses
رده :
TA329
.
P72
1993
R
2142. Proceedings of the 22nd International Meshing Roundtable
المؤلف: Sarrate , Josep, Josep Sarrate; Matthew Staten
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Engineering,، Appl.Mathematics/Computational Methods of Engineering,، Math Applications in Computer Science
رده :
T
2143. Proceedings of the sixth International Conference on Mathematics and Computing :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
2144. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
المؤلف: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
2145. Proceedings. 1st- 1960-
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Engineering mathematics,، Mathematical physics,، Probabilities. I.U.S. National Science Foundation,، Purdue University, Lafayette, Ind
رده :
TA
350
.
S92
2146. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
المؤلف: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
2147. Process Algebra for Parallel and Distributed Processing
المؤلف:
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
2148. Process Machine Interaction
المؤلف: / edited by Berend Denkena, Ferdinand Hollmann
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering,Computer science,Engineering mathematics,Vibration,Machinery,Electronic books
رده :
E-BOOK
2149. Process algebra with timing
المؤلف: by J.C.M. Baeten, C.A. Middelburg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
2150. Process algebra with timing
المؤلف: / J.C.M. Baeten, C.A. Middelburg
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: System design,Discrete-time systems,Computer science -- Mathematics
رده :
QA
76
.
9
.
S88B32
2002
2151. Production of low-cost teaching materials for primary level science and mathematics
المؤلف: sponsored by the southeast asian ministers of education organisation
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Science,، Mathematics
رده :
Q
160
.
2
.
P7
1973
2152. Programmieren mit R )Statistik und ihre Anwendungen(
المؤلف: Uwe Ligges
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics, Mathematics, Probability & Statistics - General, Bioinformatics, Business & Economics,، Science,، Life Sciences,، Probability & Statistics,، General, Mathematics,، Econometrics, Industrial Engineering, Mathematics
2153. Programming for computations -- Python :
المؤلف: Svein Linge, Hans Petter Langtangen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
رده :
QA76
.
9
.
M35
2154. Programs for improving elementry and secoundary school education in mathematics 1975
المؤلف:
المکتبة: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع: Science -- Study and teaching -- United States,Mathematics-Curricula
رده :
Q
,
181
,.
U57
2155. Progress in Industrial Mathematics at ECMI 2000
المؤلف: edited by Angelo Marcello Anile, Vincenzo Capasso, Antonio Greco.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science.,Engineering.,Finance.,Mathematical physics.,Mathematics.
2156. Progress in applications of boolean functions /
المؤلف: Tsutomu Sasao, Jon T. Butler [editors].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
رده :
QA10
.
3
2157. Promoting language and STEAM as human rights in education :
المؤلف: Zehlia Babaci-Wilhite, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Arts-- Study and teaching.,Engineering-- Study and teaching.,Mathematics-- Study and teaching.,Multilingual education.,Science-- Study and teaching.,Social justice and education.,Technology-- Study and teaching.,Educational Policy and Politics.,Educational Technology.,Language Education.,Learning & Instruction.,Mathematics Education.,Science Education.,Arts-- Study and teaching.,Engineering-- Study and teaching.,Mathematics-- Study and teaching.,Multilingual education.,Science-- Study and teaching.,Social justice and education.,Technology-- Study and teaching.
رده :
LC3719
.
P76
2019
2158. Proofs from THE BOOK
المؤلف: by Martin Aigner, Günter M. Ziegler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
2159. Proofs from THE BOOK /
المؤلف: by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.
رده :
QA39
.
3
.
A36
2018eb
